Modal Dispositionalism and the (T) Axiom
نویسندگان
چکیده
منابع مشابه
Humean Dispositionalism
Humean metaphysics is characterised by a rejection of necessary connections between distinct existences. Dispositionalists claim that there are basic causal powers. The existence of such properties is widely held to be incompatible with the Humean rejection of necessary connections. In this paper I present a novel theory of causal powers that vindicates the dispositionalist claim that causal po...
متن کاملSome Admissible Rules in Modal Systems with the Brouwerian Axiom
The paper studies the admissibility of some cancellation rules in normal modal systems with the Brouwerian axiom. For example, KDB and KTB are proved to admit the following rule: if`:(^) and`3 3 then`:(_). Two notions of the preservation of validity by a rule on a frame are deened; on both, the preservation of validity by the preceding rule is shown not to be a rst{order condition. A speculativ...
متن کاملTHE URYSOHN AXIOM AND THE COMPLETELY HAUSDORFF AXIOM IN L-TOPOLOGICAL SPACES
In this paper, the Urysohn and completely Hausdorff axioms in general topology are generalized to L-topological spaces so as to be compatible with pointwise metrics. Some properties and characterizations are also derived
متن کاملOn a Modal Epistemic Axiom Emerging from McDermott-Doyle Logics
An important question in modal nonmonotonic logics concerns the limits of propositional definability for logics of the McDermott-Doyle family. Inspired by this technical question we define a variant of autoepistemic logic which provably corresponds to the logic of the McDermott-Doyle family that is based on the modal axiom p5 : 3φ ⊃ (¬2φ ⊃ 2¬2φ). This axiom is a natural weakening of classical n...
متن کاملΕ-calculus Based Axiom Systems for Some Propositional Modal Logics
1 Introduction: Instead of considering propositional S4 (say) as a theory built on top of classical propositional logic, we can consider it as the classical first order theory of its Kripke models. This first order theory can be formulated in any of the ways first order theories usually are: tableau, Gentzen system, natural deduction, conventional axiom system, ε-calculus. If the first order th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophia
سال: 2020
ISSN: 0048-3893,1574-9274
DOI: 10.1007/s11406-020-00268-5